Search for: All records

Concurrency bugs are extremely difficult to detect. Recently, several dynamic techniques achieve sound analysis. M2 is even complete for two threads. It is designed to decide whether two events can occur consecutively. However, real-world concurrency bugs can involve more events and threads. Some can occur when the order of two or more events can be exchanged even if they occur not consecutively. We propose a new technique SeqCheck to soundly decide whether a sequence of events can occur in a specified order. The ordered sequence represents a potential concurrency bug. And several known forms of concurrency bugs can be easily encoded into event sequences where each represents a way that the bug can occur. To achieve it, SeqCheck explicitly analyzes branch events and includes a set of efficient algorithms. We show that SeqCheck is sound; and it is also complete on traces of two threads. We have implemented SeqCheck to detect three types of concurrency bugs and evaluated it on 51 Java benchmarks producing up to billions of events. Compared with M2 and other three recent sound race detectors, SeqCheck detected 333 races in ~30 minutes; while others detected from 130 to 285 races in ~6 to ~12 hours. SeqCheck detected 20 deadlocks in ~6 seconds. This is only one less than Dirk; but Dirk spent more than one hour. SeqCheck also detected 30 atomicity violations in ~20 minutes. The evaluation shows SeqCheck can significantly outperform existing concurrency bug detectors. 

Abstract Sandwich-type clusters with the planar fragment containing a heterometallic sheet have remained elusive. In this work, we introduce the [K(2,2,2-crypt)] 4 {(Ge 9 ) 2 [ η 6 -Ge(PdPPh 3 ) 3 ]} complex that contains a heterometallic sandwich fragment. The title compound is structurally characterized by means of single-crystal X-ray diffraction, which reveals the presence of an unusual heteroatomic metal planar fragment Ge@Pd 3 . The planar fragment contains a rare formal zerovalent germanium core and a peculiar bonding mode of sp 2 -Ge@(PdPPh 3 ) 3 trigonal planar structure, whereas the nonagermanide fragments act as capping ligands. The chemical bonding pattern of the planar fragment consists of three 2c-2e Pd-Ge σ-bonds attaching Pd atoms to the core Ge atom, while the binding between the planar fragment and the aromatic Ge 9 ligands is provided by six 2c-2e Pd-Ge σ-bonds and two delocalized 4c-2e σ-bonds. The synthesized cluster represents a rare example of a sandwich compound with the heteroatomic metal planar fragment and inorganic aromatic capping ligands. 

In this work, we report a dimeric cluster anion, {[CuGe 9 Mes] 2 } 4− , which was isolated as the [K(2,2,2-crypt)] + salt and characterized by using single-crystal X-ray diffraction and ESI mass spectroscopy. The title cluster represents the first locally σ-antiaromatic compound in the solid state, as well as the first heteroatomic antiaromatic compound.